Unboxing news automation
نویسندگان
چکیده
منابع مشابه
Record Unboxing
This paper proposes a type-based optimization method that “unboxes” records whenever possible by flattening nested records and changing top-level tuples to multiple value passing. We first develop a type-based algorithm that infers whether each record expression is “rigid” or not, i.e. whether it requires heap allocation or not. This is based on the observation that the changes the representati...
متن کاملUnboxing using Specialisation
In performance-critical parts of functional programs substantial performance improvements can be achieved by using unboxed, instead of boxed, data types. Unfortunately, polymorphic functions and data types cannot directly manipulate unboxed values, precisely because they do not conform to the standard boxed representation. Instead, specialised, monomor-phic versions of these functions and data ...
متن کاملGC-Safe Interprocedural Unboxing
Modern approaches to garbage collection (GC ) require information about which variables and fields contain GC-managed pointers. Interprocedural flow analysis can be used to eliminate otherwise unnecessary heap allocated objects (unboxing), but must maintain the necessary GC information. We define a core language which models compiler correctness with respect to the GC, and develop a correctness...
متن کاملStatic and Dynamic Method Unboxing for Python
The Python programming language supports object-oriented programming using a simple and elegant model that treats member variables, methods, and various metadata as instances of a single kind of ‘attribute’. While this allows a simple implementation of an interpreter that supports advanced metaprogramming features, it can inhibit the performance of certain very common special cases. This paper ...
متن کاملParametricity and Unboxing with Unpointed Types
In lazy functional languages, .l. is typically an element of every type. While this provides great flexibility, it also comes at a cost. In this paper we explore the consequences of allowing unpointed types in a lazy functional language like HaskeU. We use the type (and class) system to keep track of pointedness, and show the consequences for parametricity and for controlling evaluation order a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nordic Journal of Media Studies
سال: 2019
ISSN: 2003-184X
DOI: 10.2478/njms-2019-0004